#include<stdio.h>

int main(void)
{
	int digit=0;
	char ch;
	
	while((ch=getchar())!='\n')
	{
		if(ch>='0'&&ch<='9')
		{
			digit++;
		}
	}
	
	printf("%d",digit);
	
	return 0;
}
